Interactive proof system - PDFSEARCH.IO - Document Search Engine

Interactive proof system
Results: 103

#	Item
51	Commentary on PGIP [Version 1.30, [removed]:28:22, LATEX: July 11, 2007] David Aspinall Christoph Luth Add to Reading List Source URL: proofgeneral.inf.ed.ac.uk Language: English - Date: 2007-10-25 09:31:43 Theorem prover Proof assistant IP NP Interactive proof system Theoretical computer science Automated theorem proving Applied mathematics
52	A Framework for Interactive Proof David Aspinall1 , Christoph L¨ uth2 , and Daniel Winterstein1 1 2 Add to Reading List Source URL: proofgeneral.inf.ed.ac.uk Language: English - Date: 2007-10-25 09:31:45 Cryptographic protocols Computational complexity theory Interactive proof system Proof assistant Coq IP Isabelle ACL2 Emacs Software Theoretical computer science Automated theorem proving
53	Proof General / Eclipse: A Generic Interface for Interactive Proof Daniel Winterstein1 , David Aspinall1 , and Christoph L¨ uth2 2 Add to Reading List Source URL: proofgeneral.inf.ed.ac.uk Language: English - Date: 2005-02-06 07:36:58 Proof assistant Functional languages Isabelle Theorem prover Emacs Interactive proof system Coq KeY Mathematical proof Software Theoretical computer science Automated theorem proving
54	Simulatable Commitments and Efficient Concurrent Zero-Knowledge Daniele Micciancio1 ? Add to Reading List Source URL: www.iacr.org Language: English - Date: 2008-09-15 00:54:52 Applied mathematics Interactive proof system Zero-knowledge proof IP NP Commitment scheme Soundness Alice and Bob P versus NP problem Theoretical computer science Cryptography Cryptographic protocols
55	Witness Indistinguishable and Witness Hiding Protocols Uriel Feige, Adi Shamir Department of Applied Mathematics The Weizmann Institute of Science Rehovot 76100, Israel Add to Reading List Source URL: people.csail.mit.edu Language: English - Date: 2004-04-12 23:16:13 Cryptographic protocols Probabilistic complexity theory Complexity classes Zero-knowledge proof Structural complexity theory Proof of knowledge Interactive proof system Non-interactive zero-knowledge proof IP Theoretical computer science Computational complexity theory Cryptography
56	QMA/qpoly ⊆ PSPACE/poly: De-Merlinizing Quantum Protocols Scott Aaronson∗ University of Waterloo Abstract Add to Reading List Source URL: www.scottaaronson.com Language: English - Date: 2006-11-24 03:53:50 Quantum complexity theory Quantum information science Models of computation QMA Interactive proof system PP Arthur–Merlin protocol Quantum computer BQP Theoretical computer science Computational complexity theory Applied mathematics
57	Complexity of the Quantum Separability Problem and Its Variants Charles Xu December 12, 2014 Abstract We review a family of tightly related complexity-theoretic results introduced in two Add to Reading List Source URL: www.scottaaronson.com Language: English - Date: 2014-12-25 20:29:42 Applied mathematics Quantum information science Quantum complexity theory Separable states QMA QIP Interactive proof system PP Quantum entanglement Theoretical computer science Physics Quantum mechanics
58	On Applications of the Equilibrium Value Method Serena Booth December 12th, 2014 Abstract In 2010, Jain et al. [JJUW10] provided the first proof that QIP = PSPACE. Jain et al. used a Add to Reading List Source URL: www.scottaaronson.com Language: English - Date: 2014-12-25 20:29:00 Computational complexity theory Quantum complexity theory QIP IP Interactive proof system QMA PSPACE BQP Soundness Theoretical computer science Applied mathematics Complexity classes
59	Finding Pessiland Hoeteck Wee ? Computer Science Division University of California, Berkeley [removed] Add to Reading List Source URL: www.iacr.org Language: English - Date: 2008-09-15 00:54:53 Complexity classes Structural complexity theory Computability theory Mathematical optimization Oracle machine IP Interactive proof system NP Bounded-error probabilistic polynomial Theoretical computer science Computational complexity theory Applied mathematics
60	ZKPDL: A Language-Based System for Efficient Zero-Knowledge Proofs and Electronic Cash Sarah Meiklejohn University of California, San Diego smeiklej@ cs.ucsd.edu Add to Reading List Source URL: www0.cs.ucl.ac.uk Language: English - Date: 2014-09-03 04:48:12 Zero-knowledge proof Non-interactive zero-knowledge proof Commitment scheme IP NP RSA Public-key cryptography Alice and Bob Cryptographic primitive Cryptography Cryptographic protocols Proof of knowledge